Safety Functions and Software Verification of NPP Safety Important Systems

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

Safety Verification Conditions for Software - Intensive Critical Systems

i Table of

Software for Computer Based Systems Important to Safety in Nuclear Power Plants SAFETY GUIDE

NPP Safety Automation Systems Analysis. State of the Art

Safety Verification Conditions for Software - Intensive Critical

i Table of